Modal Logic for Rewriting Theories
نویسندگان
چکیده
منابع مشابه
Modal Logic for Rewriting Theories
We view models of rewrite theories enriched with observations coalgebraically. This allows us on the one hand to use “off the shelf” logics for coalgebras to specify and, on the other hand, to verify properties of rewriting programs and to obtain results about the expressive power of such languages.
متن کاملA Modal Logic for Termgraph Rewriting
We propose a modal logic tailored to describe graph transformations and discuss some of its properties. We focus on a particular class of graphs called termgraphs. They are first-order terms augmented with sharing and cycles. Termgraphs allow one to describe classical data-structures (possibly with pointers) such as doubly-linked lists, circular lists etc. We show how the proposed logic can fai...
متن کاملBackward Trace Slicing for Rewriting Logic Theories
Trace slicing is a widely used technique for execution trace analysis that is effectively used in program debugging, analysis and comprehension. In this paper, we present a backward trace slicing technique that can be used for the analysis of Rewriting Logic theories. Our trace slicing technique allows us to systematically trace back rewrite sequences modulo equational axioms (such as associati...
متن کاملBi-rewriting rewriting logic
Rewriting logic appears to have good properties as logical framework, and can be useful for the development of programming languages which attempt to integrate various paradigms of declarative programming. In this paper I propose to tend towards the operational semantics for such languages by basing it on bi-rewrite systems and ordered chaining calculi which apply rewrite techniques to rst-orde...
متن کاملCoherence for rewriting 2-theories
The problems of the identity of proofs, equivalences of reductions in term rewriting systems and coherence in categories all share the common goal of describing the notion of equivalence generated by a two-dimensional congruence. This thesis provides a unifying setting for studying such structures, develops general tools for determining when a congruence identifies all reasonable parallel pairs...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Electronic Notes in Theoretical Computer Science
سال: 2000
ISSN: 1571-0661
DOI: 10.1016/s1571-0661(05)80145-8